Systems that evolve over time in dynamic and nonlinear ways range from robotics to systems biology. These systems may enter undesirable states (e.g. collision with obstacles, population levels of harmful bacteria, etc.). Reachability analysis allows us to analyze when and how systems will become unsafe, and how to apply inputs to the system to maintain safety and reach desired states.  I will discuss applications in various areas, and current plans to extend our work for analysis of multi-scale biological systems.

The video of the presentation is available here.